async def f() -> int:
    ...